Scott - Continuous Functions . Part II 1 Adam Grabowski
نویسنده
چکیده
(1) Let S, T be up-complete Scott top-lattices and M be a subset of SCMaps(S,T ). Then ⊔ SCMaps(S,T ) M is a continuous map from S into T . Let S be a non empty relational structure and let T be a non empty reflexive relational structure. One can verify that every map from S into T which is constant is also monotone. Let S be a non empty relational structure, let T be a reflexive non empty relational structure, and let a be an element of T . One can check that S 7−→ a is monotone. One can prove the following propositions:
منابع مشابه
Scott - Continuous Functions . Part II 1 Adam Grabowski University of Białystok
One can prove the following proposition (1) Let S, T be up-complete Scott top-lattices and M be a subset of SCMaps(S, T ). Then ⊔ SCMaps(S,T ) M is a continuous map from S into T . Let S be a non empty relational structure and let T be a non empty reflexive relational structure. One can check that every map from S into T which is constant is also monotone. Let S be a non empty relational struct...
متن کاملScott - Continuous Functions 1 Adam Grabowski
1. PRELIMINARIES Let S be a non empty set and let a, b be elements of S. The functor a,b, ... yielding a function from N into S is defined by the condition (Def. 1). (Def. 1) Let i be a natural number. Then (i) if there exists a natural number k such that i = 2 · k, then (a,b, ...)(i) = a, and (ii) if it is not true that there exists a natural number k such that i = 2 · k, then (a,b, ...)(i) = ...
متن کاملBiałystok Scott - Continuous Functions 1 Adam Grabowski University of Białystok
Let S be a non empty set and let a, b be elements of S. The functor a, b, ... yields a function from N into S and is defined by the condition (Def. 1). (Def. 1) Let i be a natural number. Then (i) if there exists a natural number k such that i = 2 ·k, then (a, b, ...)(i) = a, and (ii) if it is not true that there exists a natural number k such that i = 2 ·k, then (a, b, ...)(i) = b. We now stat...
متن کاملAuxiliary and Approximating Relations1
The aim of this paper is to formalize the second part of Chapter I Section 1 (1.9–1.19) in [10]. Definitions of Scott’s auxiliary and approximating relations are introduced in this work. We showed that in a meet-continuous lattice, the way-below relation is the intersection of all approximating auxiliary relations (proposition (40) — compare 1.13 in [10, pp. 43–47]). By (41) a continuous lattic...
متن کاملAuxiliary and Approximating Relations
The aim of this paper is to formalize the second part of Chapter I Section 1 (1.9–1.19) in [12]. Definitions of Scott’s auxiliary and approximating relations are introduced in this work. We showed that in a meet-continuous lattice, the way-below relation is the intersection of all approximating auxiliary relations (proposition (40) — compare 1.13 in [12, pp. 43–47]). By (41) a continuous lattic...
متن کامل